Hãy tưởng tượng sự khác biệt giữa việc ném một quả bóng và điều chỉnh dây đàn guitar. Trong một Bài toán giá trị ban đầu (IVP), quỹ đạo của quả bóng hoàn toàn được xác định bởi trạng thái tại thời điểm buông ra. Nhưng trong một Bài toán biên (BVP), vật lý học được xác định bởi các ràng buộc tại hai đầu. Như câu nói: "Người toán học phải có một điểm xuất phát, nói cách khác, và điểm đó được cung cấp bởi kinh nghiệm." Trong các bài toán biên, chính kinh nghiệm đó là giới hạn vật lý cố định của hệ thống.
Sự thay đổi về cấu trúc
Trong khi một bài toán giá trị ban đầu giải quyết quá trình tiến hóa từ một điểm duy nhất $t_0$, thì bài toán biên hai điểm tìm kiếm một hàm số thỏa mãn phương trình vi phân đồng thời đáp ứng các điều kiện tại hai vị trí không gian, $\alpha$ và $\beta$.
Cấu trúc bài toán giá trị ban đầu
$$y'' + p(t)y' + q(t)y = g(t)$$ (1)
Điều kiện: $$y(t_0) = y_0, \quad y'(t_0) = y'_0$$ (2)
(Ràng buộc tại một điểm)Cấu trúc bài toán biên
$$y'' + p(x)y' + q(x)y = g(x)$$ (3)
Điều kiện: $$y(\alpha) = y_0, \quad y(\beta) = y_1$$ (4)
(Ràng buộc tại hai điểm)Phân loại và định nghĩa
- Bài toán biên hai điểm: Một phương trình vi phân và các điều kiện biên phù hợp xác định giá trị của $y$ và $y'$ tại hai điểm khác nhau.
- Đồng nhất: Nếu hàm tác động $g(x) = 0$ với mọi $x$, và các giá trị biên $y_0$ và $y_1$ đều bằng không.
- Không đồng nhất: Nếu bài toán không thỏa mãn điều kiện đồng nhất.
Bẫy tồn tại
Khác với các bài toán giá trị ban đầu, thường cho nghiệm duy nhất dưới điều kiện liên tục nhẹ nhàng, các bài toán biên lại rất nhạy cảm. Chúng có thể có một nghiệm duy nhất, không có nghiệm, hoặc vô số nghiệm phụ thuộc vào khoảng và các tham số.
Ví dụ 1: Nghiệm duy nhất
Giải $$y'' + 2y = 0, \quad y(0) = 1, \quad y(\pi) = 0$$ (7).
Nghiệm tổng quát là $$y = c_1 \cos(\sqrt{2}x) + c_2 \sin(\sqrt{2}x)$$ (8).
Áp dụng $y(0)=1$ ta được $c_1=1$. Áp dụng $y(\pi)=0$ ta nhận được:
$$y = \cos(\sqrt{2}x) - \cot(\sqrt{2}\pi) \sin(\sqrt{2}x)$$ (9).
Ví dụ 2: Tính nhạy cảm
Giải $$y'' + y = 0, \quad y(0) = 1, \quad y(\pi) = a$$ (10).
Nghiệm tổng quát: $$y = c_1 \cos x + c_2 \sin x$$ (11).
$y(0)=1 \implies c_1=1$, suy ra $$y = \cos x + c_2 \sin x$$ (12).
Nhưng tại $y(\pi)$, ta thu được $\cos(\pi) + c_2\sin(\pi) = -1$.
- Nếu $a \neq -1$, thì không có nghiệm.
- Nếu $a = -1$, thì $c_2$ là tùy ý, dẫn đến vô số nghiệm.
🎯 Nguyên lý cốt lõi
Điều kiện biên thay đổi bản chất cơ bản của sự tồn tại. Luôn kiểm tra xem các tham số biên có "phù hợp" với tần số tự nhiên của phương trình vi phân thuần nhất hay không.